SAN MATEO, Calif., June 11, 2001-Prover Technology, the world's leading provider of proof engines, will showcase its Prover Plug-In suite, including its brand new proof engine for sequential system design, for the first time at the Design Automation Conference (DAC) in Las Vegas. Code named Tempo, Prover's new proof engine is the first to automatically verify complex sequential systems with little or no manual effort, cutting verification time from months to minutes while assuring designs meet specifications to 100 percent.

Prover's new proof engine, Tempo, will be on display as a part of Telelogic's SCADE product. Telelogic is a leading supplier of end-to-end software development solutions. Ericsson, a world leading supplier in telecommunications, will have its proprietary FABulous tool demonstrated in Prover's booth at DAC. FABulous uses Prover's combinational proof engine, Prover 4.0, to develop and verify configuration rules for Ericsson's highly configurable telecom systems.

"Proof engines and formal verification represent the next big software advancement in system development," said Arne Boralv, president of Prover Technology Inc. Formal verification in EDA has been synonymous with combinational equivalence checking, but the needs within EDA are ranging far wider. Now, with proof engines for sequential systems, EDA tool developers will be able to bring their customers more automatic and scalable verification solutions in less time."

Although proof engines are just now emerging in the EDA industry, Prover has been applying proof engines to a variety of verification challenges since 1989. The company has taken the leadership position in providing the industry's most powerful and mature proof engines by working closely with leading microprocessor, software development, automotive, and telecommunications companies.

About Prover Plug-In
Prover Plug-In software components are the industry's most powerful proof engines. They are used in EDA and CASE tools to automatically verify hardware and software designs and provide 100 percent test coverage. EDA and CASE tool developers customize and integrate Prover Plug-Ins into their system development tools and environments. With the touch of a button system engineers have access to fully automated verification resulting in dramatic time and resource benefits. Prover Plug-In proof engines have well-defined ANSI C APIs and are compatible with common industry standards.

About Prover Technology
Prover Technology is the world's leading provider of proof engines. Founded in 1989, Prover Technology is one of the industry's most experienced companies in the field of automated formal verification. Its investors include Intel Capital, London-based MVI, and The Swedish Industrial Development Fund. Prover Technology has sales offices and R&D centers in Silicon Valley and Oregon, US, Sweden (HQ), and France. For more information, visit Prover Technology's web site at www.prover.com.